Alfred Bader To Receive 1995 Parsons Award
نویسندگان
چکیده
منابع مشابه
A tribute to Torrence Parsons
I first met my friend and co-worker Tory Parsons in the autumn of 1972 when I first visited Penn State University . We had several long mathematical discussions and I visited him at his home and met his "boss" and "epsilons" which, if I remember right, were quite small at that time . We shared a common interest in graph theory in general and in Ramsey theory in particular . He wrote a nice surv...
متن کاملCitation for the Test-of-Time Award from LICS 1995
The propositional μ-calculus (now more commonly known as the modal μ-calculus) was first published in 1983 by D. Kozen, although the system had been studied much earlier by J. de Bakker and D. Scott (unpublished notes, 1969). The system subsumes many popular propositional logics of programs, including linear temporal logic, computation tree logic CTL*, and propositional dynamic logic. Kozen pro...
متن کاملDorothea Jameson Hurvich and Leo M. Hurvi Ch to Receive Godlove Award
On Monday, April 30, open meetings of the ISCC Problems Subcommittees will be held, in both morning and afternoon sessions . As in the past, member s and friends of the Council ar e urged to attend. In addition to meetings of the establis hed active Subcommittees, two new Subcommittees will meet for the first time. They are No . 33 , Human Response to Color, and No . 34, Color Difference Problems.
متن کاملJoshua Frederick Parsons
have to record the death at his residence, Garston, Frome, ? ^rJoshua Frederick Parsons, M.R.C.S., L.S.A., on the y n of February. He had been in failing health for some time, atfer^nS from a heart lesion which followed after a serious tack of pneumonia in 1905. Mr. Parson's professional career was spent entirely in .?nie, where for most of the time he enjoyed an excellent jj^ate practice, and ...
متن کاملAn Eddifying Parsons Model
The time-mean effects of eddies are studied in a model based on the Parsons–Veronis–Huang–Flierl models of the wind-driven gyre. Much of the analysis used for the steady solutions carries over if the model is cast in terms of the thickness-weighted mean velocity, because then mass transport is nondivergent in the absence of diabatic forcing. The model exemplifies the use of residual mean theory...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chemical & Engineering News Archive
سال: 1994
ISSN: 0009-2347,2157-4936
DOI: 10.1021/cen-v072n019.p041